Microsoft Word - IBSDM&BI.doc

Source URL: foibg.com

• Constraint programming
• Inductive reasoning
• Reasoning
• Artificial intelligence
• Case-based reasoning
• Critical thinking
• Constraint satisfaction problem
• Reasoning system
• Constraint satisfaction
• Mathematical optimization
• Intelligent decision support system
• Search algorithm

The IceCube approach to the reconciliation of divergent replicas Anne-Marie Kermarrec, Antony Rowstron, Marc Shapiro Peter Druschel

Source URL: www.cs.rice.edu

• Operations research
• Windows Task Scheduler
• Scheduling
• Simulation
• Schedule
• Mathematical optimization
• ECO
• Constraint programming

Fundamenta Informaticaei-ii i DOIFIIOS Press

Source URL: www.mimuw.edu.pl

• Constraint programming
• Constraint satisfaction
• Solver
• Local search

Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Software testing
• Reference
• Constraint satisfaction problem
• Const
• Parameter
• Concolic testing
• Constraint logic programming

Top-k Querying of Unknown Values under Order Constraints Antoine Amarilli1 , Yael Amsterdamer2 , Tova Milo2 , and Pierre Senellart1,3 1 2

Source URL: pierre.senellart.com

• Constraint programming
• Probability distributions
• Operations research
• Mathematical optimization
• Expected value
• Beta distribution
• Interpolation
• Lagrange multiplier
• Constraint satisfaction

Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming Clemens Ballarin∗ Manuel Kauers Institut f¨

Source URL: www21.in.tum.de

The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Logic
• Mathematics
• Constraint programming
• Abstraction
• Model theory
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Complexity of constraint satisfaction
• Constraint satisfaction problem
• Satisfiability
• Binary relation

ACM SIGSAM Bulletin, Vol. 38, No. 2, JuneFormally reviewed communication Solving Parametric Linear Systems: an experiment with constraint algebraic programming

Source URL: www21.in.tum.de

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint

Phase transitions in discrete structures Amin Coja-Oghlan (Goethe University) A wide variety of problems in combinatorics, computer science, information theory and mathematical physics can be described along the followin

Source URL: www.7ecm.de

• Constraint programming
• Statistical mechanics
• Gibbs measure
• Order and disorder